1. Fifth Annual IEEE Symposium on Logic in Computer Science, Jun 4-7, 1990, Philadelphia, PA
پدیدآورنده: sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing...]et al.[
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Logic programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
I56
F45
1990
2. Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Jun 28-July 1, 1994, Amsterdam, The Netherlands
پدیدآورنده: sponsored by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computational complexity - Congresses
رده :
QA
267
.
7
.
S75
1994
3. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
M35
S94
2004
